Serveur d'exploration sur l'Université de Trèves - Analysis (LNCS)

Index « Auteurs » - entrée « Pierre Réty »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Philippe Bonnard < Pierre Réty < Pierre Tchounikine  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000216 (2001) Sébastien Limet [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]Weakly Regular Relations and Applications
000218 (2001) Valérie Gouranton [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]Synchronized Tree Languages Revisited and New Applications

List of associated KwdEn.i

Nombre de
documents
Descripteur
2Programming language
2Tree(graph)
1Deadlock
1Decidability
1Regular graph
1Rewriting
1Rewriting systems
1Simultaneity
1Synchronous language
1Theorem proving
1Tree structure
1Unification

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/LNCS/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i -k "Pierre Réty" 
HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i  \
                -Sk "Pierre Réty" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/LNCS/Analysis/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    LNCS
   |étape=   Analysis
   |type=    indexItem
   |index=    Author.i
   |clé=    Pierre Réty
}}

Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024